ch-1 real numbers